Computable number - PDFSEARCH.IO - Document Search Engine

Computable number
Results: 71

#	Item
21	DOC Document Add to Reading List Source URL: cob.jmu.edu Language: English - Date: 2007-12-14 11:41:15 Computability theory Theory of computation Turing machine Alan Turing Universal Turing machine Halting problem Computability Computable number Algorithm Theoretical computer science Applied mathematics Mathematics
22	Preface Computable analysis is a branch of computability theory studying those functions on the real numbers and related sets which can be computed by machines such as digital computers. The increasing demand for reliab Add to Reading List Source URL: www.fernuni-hagen.de Language: English - Date: 2009-09-05 02:34:00 Mathematical logic Computable function Computable number Computable analysis Computable real function Specker sequence Enumeration Computability Numbering Computability theory Theory of computation Theoretical computer science
23	arXiv:1204.6671v1 [cs.LO] 30 Apr 2012 δ-Decidability over the Reals∗ Sicun Gao, Jeremy Avigad, and Edmund M. Clarke Carnegie Mellon University, Pittsburgh, PAMay 1, 2012 Add to Reading List Source URL: arxiv.org Language: English - Date: 2012-04-30 22:29:41 Mathematical logic Theory of computation Computable number Computable function Bounded quantifier Computable real function Function Oracle machine Decision problem Computability theory Theoretical computer science Mathematics
24	4. Computability on the Real Numbers Real numbers are the basic objects in analysis. For most non-mathematicians a real number is an infinite decimal fraction, for example π = 3•Mathematicians prefer to Add to Reading List Source URL: www.fernuni-hagen.de Language: English - Date: 2009-09-05 02:33:58 Symbol Computable number Group representation Automata theory Representation theory of finite groups Ω-automaton Abstract algebra Mathematics Representation theory
25	Asia Pacific Mathematics Newsletter 1 PushingBack Back the Add to Reading List Source URL: www.asiapacific-mathnews.com Language: English - Date: 2012-02-16 01:26:08 Mathematics Computability theory Turing machine Alan Turing Halting problem Computable number Computability Turing test Interactive computation Theory of computation Theoretical computer science Computer science
26	Computing & reading 5: The Future: What’s going on? Willard McCarty Professor of Humanities Computing King’s College London Add to Reading List Source URL: www.mccarty.org.uk Language: English - Date: 2012-02-05 04:03:00 Computer science Turing machine Models of computation Formal methods Turing machine gallery Arseny Avraamov Alan Turing Computable number Computability Computability theory Theory of computation Theoretical computer science
27	δ-uniform BSS Machines Paolo Boldi* Sebastiano Vigna∗ Dipartimento di Scienze dell’Informazione, Università degli Studi di Milano, Italy. Abstract Add to Reading List Source URL: vigna.di.unimi.it Language: English - Date: 2002-05-18 04:52:47 Computer science Theory of computation Models of computation Alan Turing Turing machine Computable number Computability Reduction NP Theoretical computer science Computability theory Applied mathematics
28	The Turing Closure of an Archimedean Field Paolo Boldi∗ Sebastiano Vigna∗ Abstract Add to Reading List Source URL: vigna.di.unimi.it Language: English - Date: 2002-05-18 04:52:19 Applied mathematics Theory of computation Alan Turing Models of computation Turing machine Computability Turing degree Computable number Reduction Theoretical computer science Computability theory Computer science
29	A short history of small machines Liesbeth De Mol1? and Maarten Bullynck2 1 Center for Logic and Philosophy of Science, University of Ghent, Blandijnberg 2, 9000 Gent, Belgium Add to Reading List Source URL: logica.ugent.be Language: English - Date: 2012-01-31 05:13:11 Turing machine Models of computation Computability theory Alan Turing Register machine Computability Computer Logic Computable number Theoretical computer science Theory of computation Computer science
30	Newsletter Number 21; February, 2013 Editorial Special issue on GMRIO frameworks Add to Reading List Source URL: www.iioa.org Language: English - Date: 2013-03-26 06:57:31 Carbon footprint Computable general equilibrium Design Life-cycle assessment Greenhouse gas Input-output model Enterprise carbon accounting Economics Environment GTAP

UPDATE